Visits of International Scientists

Prof. Dorel Lucanu from Univ. Iasi (Romania) visited us in July and August 2014. We continued work on language-independent program-verification techniques and on the formal definitions of the HiHope and HoMade assembler languages, as well as on the formally proved correctness of communication IPs.